21. Dependable Computing for Critical Applications 2
Author: edited by John F. Meyer, Richard D. Schlichting.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Software engineering.
Classification :
QA76
.
9
.
F38
E358
1992
22. Distributed Environments :
Author: edited by Yutaka Ohno, Toshiko Matsuda.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.
Classification :
QA76
.
76
.
D47
E358
1991
23. Distributed Systems :
Author: by Albert Fleischmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Software engineering.
Classification :
QA76
.
9
.
D5
B935
1994
24. Formal methods for industrial critical systems :
Author: Falk Howar, Jiří Barnat (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
F67
I58
2018eb
25. Generative AI on AWS
Author: / Chris Fregly, Antje Barth and Shelbee Eigenbrode.,Fregly, Chris,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Amazon Web Services (Firm),Amazon Web Services (Firm),fast,Artificial intelligence,Application software.,Artificial intelligence.,Software engineering.,artificial intelligence.,Artificial intelligence,Software engineering,Computer programs.
26. Guide for evaluating engineering software:a report
Author: prepared by the Task Committee on Software Evaluation of the Technical Council on Computer Practices of the American Society of Civil Engineers
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Computer software- Evaluation,، Engineering- Computer programs- Evaluation
Classification :
QA
76
.
76
.
E93A46
1989
27. Guide for evaluating engineering software: a report
Author: prepared by the Task Committee on Software Evaluation of the Technical Council on Computer Practices of the American Society of Civil Engineers
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Computer software - Evaluation,Engineering - Computer programs - Evaluation
Classification :
QA
76
.
76
.
E93
A66
1989
28. Guide for evaluating engineering software : a report
Author: prepared by the Task Committee on Software Evaluation of the Technical Council on Computer Practices of the American Society of Civil Engineers
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer software - Evaluation , Engineering - Computer programs - Evaluation
Classification :
QA
76
.
76
.
E93
A46
1989
29. Handbook of Multimodal and Spoken Dialogue Systems
Author: edited by Dafydd Gibbon, Inge Mertins, Roger K. Moore.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational linguistics.,Engineering.,Multimedia systems.,Translators (Computer programs).
30. Industrial electrical power systems software: dynamic performance evaluation for design
Author: M. Duamud ... ]et al.[
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electric power systems - Computer programs , Industries - Power supply - Computer programs
Classification :
TK
1005
.
I52
1997
31. Information Systems Engineering :
Author: by Arne Sølvberg, David Chenho Kung.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Management information systems.,Software engineering.
Classification :
T58
.
5
B937
1993
32. Innovative techniques in instruction technology, e-learning, e-assessment, and education /
Author: edited by Magued Iskander.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-assisted instruction.,Computer-assisted instruction.,Computer-assisted instruction.,COMPUTERS-- Educational Software.,Informatique.
Classification :
LB1028
.
5
.
I52
2008eb
33. Integrated circuit and system design :
Author: René van Leuken, Gilles Sicard (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Integrated circuits-- Design and construction, Congresses,Integrated circuits, Congresses,Algorithm Analysis and Problem Complexity,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Simulation and Modeling,Software Engineering,System Performance and Evaluation
Classification :
TK7874
.
P38
2011eb
34. Intelligent information and database systems :
Author: Ngoc Thanh Nguyen, Ford Lumban Gaol, Tzung-Pei Hong, Bogdan Trawiński (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Database management, Congresses.,Artificial intelligence.,Database management.
Classification :
Q334
.
A85
2019
35. Learning Technology for Education Challenges :
Author: edited by Lorna Uden, Dario Liberona, Galo Sanchez, Sara Rodríguez-González.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Education, Congresses.,Social sciences-- Data processing, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Education.,Social sciences-- Data processing.,Software engineering.
Classification :
LB1028
.
5
.
L43
2019
36. Mutation Testing for the New Century
Author: edited by W. Eric Wong.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Data structures (Computer science),Software engineering.
37. New Trends in Software Methodologies, Tools and Techniques :
Author: edited by Hamido Fujita and Paul Johannesson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Reliability, Congresses.,Software engineering, Congresses.,Computer software-- Reliability.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Software engineering.
Classification :
QA76
.
758
.
L94
2002eb
38. Parallel processing and applied mathematics :
Author: Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
Classification :
QA76
.
58
39. Perspectives of system informatics :
Author: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programmierung.,Theoretische Informatik.,Wissenstechnik.
40. Practical aspects of declarative languages :
Author: José Júlio Alferes, Moa Johansson (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Declarative programming languages, Congresses.,Declarative programming, Congresses.,Declarative programming languages.,Declarative programming.
Classification :
QA76
.
76
.
C65
